The MCP Logical Solver is a powerful reasoning system that combines large language models and formal theorem - proving capabilities. It supports natural language and first - order logic input, performs automatic verification through Prover9/Mace4, and provides structured reasoning and explanations.

The task portal system is a self - evolving general problem - solving institution with core components such as logical reasoning, ethical framework, sequential thinking, and meta - framework, which can safely self - evolve and solve complex problems.

MCP-Logic is a logical reasoning server based on the MCP protocol, providing automated theorem proving and model verification functions for AI systems.

MCP-RoCQ is a logical reasoning server based on the Coq proof assistant, providing type checking, inductive type definition, and property proof functions.

A cognitive architecture project that combines DeepSeek R1 and Claude. It performs advanced reasoning and planning through R1 and Claude executes specific analysis to achieve multi-step logical reasoning and structured thinking processing.

A self-contained MCP server for first-order logic reasoning, supporting theorem proving, model finding, and counterexample detection. It uses a multi-engine architecture to automatically select the best reasoning engine.